CSP (communicating sequential processes)